Kalorimetrie für Reaktoren mit hohen Mantelflussraten

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Merkmalsmodellierung für Anforderungsartefakte mit Doors®

Alle Industriezweige sind heutzutage durch eine große Anzahl von Produktvarianten geprägt. Die Unternehmen wollen mit Hilfe der Variantenvielfalt Wettbewerbsvorteile sichern bzw. gewinnen. Eine wesentliche Voraussetzung für Wettbewerbserfolg ist, dass die Entwicklung mehrerer Produktvarianten die Entwicklungszeit nicht verlängert. Hierfür stellt ein effektives und effizientes Variantenmanagemen...

متن کامل

Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente

Ein wichtiges Qualitätsmerkmal des modellbasierten Tests und damit beim Test von Simulink-Modellen sind Überdeckungskriterien. Wir stellen einen Ansatz zur Verbesserung der Testüberdeckung von Simulink-Modellen unter Verwendung der Klassifikationsbaummethode (CTM) vor. Dazu erweitern wir die CTM um eine Signalbeschreibung durch die Ableitung eines Signals.

متن کامل

Software Qualitätssicherung für Geschäftsprozesse mit eingebetteten Systemen

Für die Qualitätssicherung eines Geschäftsprozesses, ist es unerlässlich, die Geschäftprozesskette ganzheitlich zu betrachten. Das schließt die Betrachtung jeder einzelnen funktionalen Komponente ein. Dies ist besonders bei Geschäftsprozessen schwierig, die eingebettete Systeme involvieren. Deren Software-Komponenten sind nur schwer zugänglich. Die Software-Komponenten in den eingebetteten Syst...

متن کامل

Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen

Bei dem Entwurf von eingebetteten Systemen spielt die Verifikation eine entscheidende Rolle. SystemC hat sich für die Modellierung gemischter Hardware/SoftwareSysteme, vor allem auf hoher Abstraktionsebene, durchgesetzt. Für solche High-level SystemC-Modelle existieren allerdings heutzutage keine Werkzeuge zur formalen Verifikation, weshalb oftmals simulative Verfahren zur Verifikation der Mode...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Chemie Ingenieur Technik

سال: 2007

ISSN: 0009-286X,1522-2640

DOI: 10.1002/cite.200750007